\infty (a [bb) a)
